$\oplus$$x$$\in$$L$.$R$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\oplus$(map($\lambda$$x$.$R$($x$);$L$))